Reactive programming - PDFSEARCH.IO - Document Search Engine

Reactive programming
Results: 105

#	Item
61	Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics
62	Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:18 Logic JACK Intelligent Agents Reactive planning Modal logic 3APL Belief–desire–intention model Multi-agent systems Artificial intelligence Computing
63	Coherent Reaction Jonathan Edwards MIT Computer Science and Artificial Intelligence Lab Abstract Add to Reading List Source URL: www.subtext-lang.org Language: English - Date: 2013-09-04 17:58:50 Computer programming Subtext Reactive programming Coherence Programming language Declarative programming Assignment Functional programming Imperative programming Software engineering Computing Programming paradigms
64	Proactive and Reactive Resource Allocation Joseph K. Cross Patrick J. Lardieri Lockheed Martin Tactical Systems Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:18:50 Computer programming C Standard Library C dynamic memory allocation C Quality of service Allocator Computing Memory management Software engineering
65	Reactive Programming in Perl 6 Jonathan Worthington Asynchronous data Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:19 Perl Grep Iterator Fibonacci number Computing Software Cross-platform software
66	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
67	Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:26:28 External variable Futures and promises Environment variable Free variables and bound variables Variable Closure SystemVerilog Software engineering Computing Synchronous programming language
68	A Report on KScript and KSWorld Yoshiki Ohshima, Bert Freudenberg, Aran Lunzer Ted Kaehler This material is based upon work supported in part Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:13:17 Data types Evaluation strategy Functional programming Type theory Programming paradigms Dataflow Reactive programming Lucid Functional reactive programming Software engineering Computing Computer programming
69	Patterns in Reactive Programs P@trik Haslum Abstract. In this paper, I explore the idea that there are “patterns”, analogous to software design patterns, in the kind of task procedures that frequently form the reacti Add to Reading List Source URL: www.societyofrobots.com Language: English - Date: 2010-01-10 09:35:13 Object-oriented programming Programming paradigms Software design Ada Common Object Request Broker Architecture Software design pattern Object-oriented design Subroutine Time management Software engineering Computer programming Computing
70	A Survey of Functional Reactive Programming Concepts, Implementations, Optimizations, and Applications Edward Amsden Rochester Institute of Technology Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2011-05-20 17:05:00 Functional programming Evaluation strategy Higher-order functions Functional reactive programming Reactive programming Map Orc Function composition ALGOL 68 Software engineering Computing Computer programming

UPDATE